The category of cpos from a synthetic viewpoint
نویسندگان
چکیده
We provide an internal characterization of the category Cpo of complete posets and continuous functions within the model H of SDT recently introduced by the authors It follows that cpos lie between the two extreme synthetic notions of domain given by repleteness and well completeness
منابع مشابه
Domains in H
We give various internal descriptions of the category !-Cpo of !-complete posets and !-continuous functions in the model H of Synthetic Domain Theory introduced in 8]. It follows that the !-cpos lie between the two extreme synthetic notions of domain given by repleteness and well-completeness.
متن کاملThe symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملThe Convex Powerdomain in a Category of Posets Realized by CPOs
We construct a powerdomain in a category whose objects are posets of data equipped with a cpo of \intensional" representations of the data, and whose morphisms are those monotonic functions between posets that are \realized" by continuous functions between the associated cpos. The category of cpos is contained as a full subcategory that is preserved by lifting, sums, products and function space...
متن کاملTwo categories of effective continuous cpos
This paper presents two categories of effective continuous cpos. We define a new criterion on the basis of a cpo as to make the resulting category of consistently complete continuous cpos cartesian closed. We also generalise the definition of a complete set, used as a definition of effective bifinite domains in [HSH02], and investigate what closure results that can be obtained.
متن کاملCharacteristics of Competent Translator Trainers From the Viewpoint of Expert Iranian Translator Trainers: A Qualitative Study
In this study, the directed (deductive) content analysis approach was adopted to explore the components of translator trainers’ competencies through in-depth individual semistructured interviews conducted with 10 expert Iranian translator trainers at different universities around Iran. Theoretical model was the translator trainer profile proposed by The European Master’s in Translation (EMT) Gr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 6 شماره
صفحات -
تاریخ انتشار 1997